回采巷道过断层施工技术

受断层影响,巷道过断层期间掘进速度缓慢,影响采掘接替和矿井生产效率。为了更好地促进矿井生产,以23上04轨顺掘进为研究对象,采用FLAC 3D软件模拟巷道过断层时巷道围岩变形量和塑性区范围,并将围岩划分为正常围岩、过渡带和破碎带3部分。根据模拟结果可知,围岩变形量和塑性区范围都在过渡带开始增大,在破碎带达到最大值。巷道采用后退卧底法过断层,并对断层破碎带及时采用锚网索、注浆、U型钢棚进行支护,通过联合支护相互配合,可以共同提高巷道支护强度,增强巷道顶帮抗变形能力。     

长江重要堤防安全监测技术的应用与发展

长江重要堤防安全监测工程中,对主要穿堤建筑物、重要堤段都布置了安全监测设施.两年多来的监测过程中,获得了大量的监测资料和信息,为评价防渗墙的渗控效果及穿堤建筑物的运行状况提供了科学依据.防渗墙是堤防加固和防渗处理的主要工程措施之一,通过监测资料分析,防渗墙的实施有效地改善了堤身、堤基的渗流状态,不同结构形式的防渗墙所起的截渗效果是不一样的.穿堤建筑物内部监测由渗压计、测缝计、位错计和界面土压力计组成,为穿堤建筑物安全运行状况和施工质量评价提供了科学的依据.堤防安全监测新技术的开发与应用研究拓展了传统的安全监测领域,先进的安全监测技术在堤防工程建设中将得到广泛应用.     

丹江口大坝加高工程施工期的度汛方式探讨

南水北调中线工程是为了解决京、津、华北地区水资源紧缺而实施的战略性工程,丹江口大坝加高工程是中线工程的关键性工程之一.丹江口大坝初期工程在大坝加高施工期间仍然承担着汉江中下游防洪任务,妥善解决好丹江口大坝加高工程建设的顺利进行与初期工程的防汛度汛、正常运行管理关系,意义重大.现根据丹江口大坝加高工程施工期的度汛条件、度汛标准以及建设工期的要求等,对丹江口大坝加高施工期的度汛技术方案进行了探讨.     

具偏差变元泛函微分方程周期解的存在定理

利用Mawhin重合度拓展定理研究了一类具偏差变元的泛函微分方程x″（t）＋h（x（t））f（x′（t））＋g（x（t-τ（t）））=p（t）的周期解问题,得到了周期解存在性的若干新结果,推广了已有的结果。     

New time-“frequency rate” distribution for polynomial phase signal

Time-"frequency rate" distribution(TFRD)is an extension of the traditional time-frequency distribution(TFD),and it exploits the relationship between time and frequency rate,or the second order phase derivative of signal.A new TFRD highly concentrated along the frequency rate of polynomial phase signal(PPS)is presented,which provides a new way to PPS.It has been defined by introducing signal with a complex argument in the time-"frequency rate" analysis,and the inner interferences caused by the nonlinearity of the signal’s phase can be reduced greatly with high time-frequency concentration.Implementation of the TFRD is discussed and the results are demonstrated by the application for accelerated target imaging of synthetic aperture radar(SAR).     

偶数阶中立型差分方程最终正解的存在性

研究一类具连续变量偶数阶中立型时滞差分方程,利用Lebesgue控制收敛定理给出这类方程存在最终有界正解的一个充分必要条件,得到相应新的比较定理.     

管道内穿管修复技术的应用

为解决城市地下金属管道由于常年连续运行时间长、防腐技术落后情况下产生漏铁、穿孔腐蚀等问题,阐述了利用管内穿管的先进技术解决地下管道的修复问题.该技术经应用后,施工质量满足使用要求,具有推广价值.     

基于并行群体模拟退火算法的蛋白质折叠研究

蛋白质折叠研究对于揭示蛋白结构和功能关系,进而了解相关疾病的致病机理意义重大。蛋白质折叠已被证明是 NP-完全问题。本文针对蛋白质折叠研究中的能量最小化问题,提出了一种新的并行群体模拟退火算法（Parallel Group Simulated Annealing,PGSA）及其改进型算法（PGSA_1/K)。该算法使用了降温因子加速收敛精度,并采用 MPI 消息传递并行编程技术加快蛋白质结构空间搜索以及能量最小化寻找速度。以 Met_Enkephalin 蛋白为对象的计算机模拟仿真结果表明,我们提出的算法及其改进型有很好的扩展性,可以高效搜索蛋白结构空间,从而找到相关蛋白的最小能量结构。     

Algorithms for checking channel passing in web service choreography

Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.     

Factor graph aided multiple hypothesis tracking

Since closely moving targets exist extensively in the ground moving target tracking, the uncertainty of data association greatly increases making the measurement-to-track association more difficult. Especially, traditional multiple hypothesis tracking （MHT） has high false tracking rate and track swap. This paper first investigates the measurement based factor graph in data association, and gives the corresponding message passing algorithm. Then, a factor graph aided multiple hypothesis tracking （FGA-MHT） method is proposed, which introduces factor graph based m-best hypothesis producing technique and exploits factor graph based probability refinement algorithm to reduce the uncertainty of measurement-to-track association. Experiment results demonstrate that FGA-MHT reduces times of track swap and increases the correct data association rate in closely moving target tracking.